﻿/*
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using AutomaTones.Model.Automaton_Model;
using AutomaTones.Model.Automaton_Model.RuleLib;
using Microsoft.Pex.Framework;

namespace AutomaTones {
    /// <author>Anders Øland / anoe@itu.dk</author>
    /// <summary>
    /// Test scenario for the Cellular automaton part of this system.
    /// Most relevant usages should be covered by the tests. 
    /// </summary>
    [PexClass]
    partial class GameOfLifeTestScenario {
        [PexMethod(MaxBranches = 2000000)]
        public void TestGameOfLife() {
            GameOfLife.GetGofRule();
            CellularAutomaton g = GameOfLife.SetupGameOfLife(16, 2);
            GameOfLife.AddGofPattern(g, GameOfLife.GofPattern.GosperGliderGun);
            for (int i = 0; i < 10; i++) {
                g.Evolve();
            }
        }
    }
}
*/
